A Formal Description of the TransportationProblemThomas Dean and Lloyd
نویسندگان
چکیده
In this paper we provide a compact, formal description for an important class of problems involving the deployment of diverse equipment (e.g., planes, ships, trucks) to transport cargo (e.g., personnel and material) throughout large geographical areas for private, government, and military purposes. The problem is particularly interesting for its combination of static and dynamic sources of complexity, and the fact that it allows and in some cases strongly encourages distributed solutions. The merit of this formalization is shown by its application to both understanding the complexities in existing restricted transportation problems and creating new natural restrictions on the general problem. Starting from the general formulation we are able to isolate the static and dynamic sources of complexity in transportation problems and relate them to existing research in computer science and operations research. In addition, we describe techniques for constructing algorithms for the transportation problem with provable performance guarantees.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملA Formal Description of the Transportation Problem
In this paper we provide a compact, formal description for an important class of problems involving the deployment of diverse equipment (e.g., planes, ships, trucks) to transport cargo (e.g., personnel and material) throughout large geographical areas for private, government, and military purposes. The problem is particularly interesting for its combination of static and dynamic sources of comp...
متن کاملمعرفی الگوهایی برای آموزش دانشگاهی نقد هنر تجسمی
Art criticism, defined as informed dialogue about the work of art, and an attempt to elucidate its meaning, is an activity based on principles, methodologies, procedures and theoretical frameworks which altogether make the practice of criticism possible. There are various, and mainly subjective, approaches to the art criticism practice. This variety makes it remarkably difficult to elicit and d...
متن کاملRing structures of mod p equivariant cohomology rings and ring homomorphisms between them
In this paper, we consider a class of connected oriented (with respect to Z/p) closed G-manifolds with a non-empty finite fixed point set, each of which is G-equivariantly formal, where G = Z/p and p is an odd prime. Using localization theorem and equivariant index, we give an explicit description of the mod p equivariant cohomology ring of such a G-manifold in terms of algebra. This makes ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992